An improved algorithm for the vertex cover P3 problem on graphs of bounded treewidth
نویسندگان
چکیده
Given a graph G = (V,E) and a positive integer t ≥ 2, the task in the vertex cover Pt (V CPt) problem is to find a minimum subset of vertices F ⊆ V such that every path of order t in G contains at least one vertex from F . The V CPt problem is NP-complete for any integer t ≥ 2. Recently, the authors presented a dynamic programming algorithm with runtime 4 · n that can solve the V CP3 problem in any n-vertex graph given together with its tree decomposition of width at most p. In this paper, we propose an improvement of it and improved the time-complexity to 3 · n. The connected vertex cover P3 (CV CP3) problem is the connected variation of the V CP3 problem where G[F ] is required to be connected. Using the Cut&Count technique, we give a randomized algorithm with runtime 4 · n that can solve the CV CP3 problem in any n-vertex graph given together with its tree decomposition of width at most p.
منابع مشابه
Algorithmic Meta-Theorems for Graphs of Bounded Vertex Cover
Possibly the most famous algorithmic meta-theorem is Courcelle’s theorem, which states that all MSO-expressible graph properties are decidable in linear time for graphs of bounded treewidth. Unfortunately, the running time’s dependence on the MSO formula describing the problem is in general a tower of exponentials of unbounded height, and there exist lower bounds proving that this cannot be imp...
متن کاملExploiting Parse Trees for Graphs of Bounded Treewidth
This thesis studies a structural framework for representing graphs of bounded treewidth, called a [treewidth] t-parse. This is a natural extension of the Cattell–Dinneen [pathwidth] t-parses, which they used in their platform for finding forbidden minors. Our t-parses are quite useful for representing graphs (in parsed form) for the many dynamic programs that are available for graphs of bounded...
متن کاملExact Algorithms for Generalizations of Vertex Cover
The NP-complete Vertex Cover problem has been intensively studied in the field of parameterized complexity theory. However, there exists only little work concerning important generalizations of Vertex Cover like Partial Vertex Cover, Connected Vertex Cover, and Capacitated Vertex Cover which are of high interest in theory as well as in real-world applications. So far research was mainly focused...
متن کاملAlgorithms for Graphs of (Locally) Bounded Treewidth
Many real-life problems can be modeled by graph-theoretic problems. These graph problems are usually NP-hard and hence there is no efficient algorithm for solving them, unless P= NP. One way to overcome this hardness is to solve the problems when restricted to special graphs. Trees are one kind of graph for which several NP-complete problems can be solved in polynomial time. Graphs of bounded t...
متن کاملPlanar Graphs and Partial k-Trees
It is well-known that many NP-hard problems can be solved efficiently on graphs of bounded treewidth. We begin by showing that Knuth’s results on nested satisfiability are easily derived from this fact since nested satisfiability graphs have treewidth at most three. Noting that nested satisfiability graphs have a particular form of planar drawing, we define a more general form of graph drawing ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1603.09448 شماره
صفحات -
تاریخ انتشار 2016